################# OBJECTIVE
maximize nash:
	prod{i in 1..n} u[i];
